141. Logic for computer science : foundations of automatic theorem proving

پدیدآورنده : Gallier, Jean H

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical

رده :

QA

76

.

9

.

A96

G35

1986

142. Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

پدیدآورنده : Michel Parigot, Andrei Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1955

143. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

پدیدآورنده : Moshe Y. Vardi, Anderi Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2850

144. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming

رده :

QA

76

.

L28

Vol

.

3452

145. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

2514

146. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings

پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses

رده :

005

.

115

I61L

2005

147. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings

پدیدآورنده : A. Voronkov, ed

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

624

148. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses

رده :

QA

76

.

63

.

I55

1992

149. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses

رده :

QA

76

.

63

.

I55

1992

150. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings

پدیدآورنده : Frank Pfenning )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

822

151. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings

پدیدآورنده : A. Voronkov, )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

698

152. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

پدیدآورنده : Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

1705

153. Logical frameworks

پدیدآورنده : edited by Gerard Huet, G. Plotkin

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Frames )Information theory(,، Logic,، Automatic theorem proving

رده :

Q

390

.

L64

154. Machine proofs in geometry: automated production of readable proofs for geometry theorems

پدیدآورنده : Chow, Shang- Ching, 6491-

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)

موضوع : ، Axioms- Data processing,، Automatic theorem proving

رده :

QA

481

.

C48

.

M33

1994

155. Mathematics mechanization

پدیدآورنده : / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

156. Mathematics mechanization

پدیدآورنده : / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

157. Mathematics mechanization

پدیدآورنده : / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

158. Mathematics mechanization

پدیدآورنده : / by Wu Wen-tsun

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Automatic theorem proving,Equations- Numerical solutions,Artificial intelligence

رده :

QA76

.

9

.

A96

,

W8

2000

159. Mathematics mechanization and applications

پدیدآورنده : edited by Xiao-Shan Gao and Dongming Wang

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Automatic theorem proving,Numerical solutions ، Equations,، Artificial intelligence,، Programming )Mathematics(

رده :

QA

76

.

9

.

A96

M34

2000

160. Mathematics mechanization and applications

پدیدآورنده : edited by Xiao-Shan Gao and Dongming Wang

کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)

موضوع : Equations, Numerical solutions, Data processing,Automatic theorem proving

رده :

{

1648

},

58f5cd92ab378d5ba32c2e983504bc9f